body.hl {
	background-color: rgb(224, 234, 238);
}
pre.hl {
	color: rgb(0, 0, 0); font-family: "Courier New"; font-size: 10pt; background-color: rgb(224, 234, 238);
}
.num.hl {
	color: rgb(176, 126, 0);
}
.esc.hl {
	color: rgb(255, 0, 255);
}
.str.hl {
	color: rgb(191, 3, 3);
}
.pps.hl {
	color: rgb(129, 129, 0);
}
.slc.hl {
	color: rgb(131, 129, 131); font-style: italic;
}
.com.hl {
	color: rgb(131, 129, 131); font-style: italic;
}
.ppc.hl {
	color: rgb(0, 130, 0);
}
.opt.hl {
	color: rgb(0, 0, 0);
}
.lin.hl {
	color: rgb(85, 85, 85);
}
.kwa.hl {
	color: rgb(0, 0, 0); font-weight: bold;
}
.kwb.hl {
	color: rgb(0, 87, 174);
}
.kwc.hl {
	color: rgb(0, 0, 0); font-weight: bold;
}
.kwd.hl {
	color: rgb(1, 1, 129);
}
